theory of computation syllabus pdf